Functional languages - PDFSEARCH.IO - Document Search Engine

Functional languages
Results: 3400

#	Item
161	Improved Type Specialization for Dynamic Scripting Languages Madhukar N Kedlaya† † Jared Roesch† Add to Reading List Source URL: jroesch.github.io Language: English - Date: 2016-04-16 20:16:50 Software engineering Computer programming Computing Cross-platform software Procedural programming languages Type theory Functional languages Object-oriented programming languages Type inference Type system Inference SpiderMonkey
162	Scala Macros: Let Our Powers Combine! On How Rich Syntax and Static Types Work with Metaprogramming Eugene Burmako EPFL, Switzerland Add to Reading List Source URL: lampwww.epfl.ch Language: English - Date: 2014-03-18 17:06:31 Software engineering Computer programming Computing Functional languages Object-oriented programming languages Procedural programming languages Concurrent programming languages Type theory Macro Nemerle Nim Scala
163	HipSpec: Automating Inductive Proofs of Program Properties Koen Claessen Moa Johansson Nicholas Smallbone Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2013-01-15 03:40:14 Mathematics Logic Software engineering Mathematical proofs Automated theorem proving Functional languages Literate programming Graph theory Structural induction Rippling Five lemma First-order logic
164	XQuery vs. The World Nuno Job! nunojob.com and @dscape (twitter, github)! Add to Reading List Source URL: writings.nunojob.com Language: English - Date: 2013-01-07 17:15:58 Computing Data Functional languages Markup languages 4GL XQuery JSON JSONiq BaseX
165	Finding Application Errors and Security Flaws Using PQL: a Program Query Language Michael Martin Benjamin Livshits Add to Reading List Source URL: suif.stanford.edu Language: English - Date: 2005-08-16 13:28:19 Software engineering Computer programming Computing Query languages Functional languages Object-oriented programming languages Scripting languages SQL Datalog Prolog Closure Objective-C
166	The F# 3.0 Language Specification Note: This documentation is the specification of the 3.0 release of F# made by Microsoft Research and the Microsoft Developer Division in SeptemberDiscrepancies may exist between Add to Reading List Source URL: fsharp.org Language: English - Date: 2016-08-15 16:34:27 Software engineering Computer programming Computing Functional languages F Sharp Strong and weak typing Type system Expression C Operator Pattern matching C Sharp syntax
167	Decoding Random Binary Linear Codes in 2n/20 : How 1 + 1 = 0 Improves Information Set Decoding Anja Becker1 , Antoine Joux1,2 , Alexander May3! , and Alexander Meurer3!! 1 Universit´e de Versailles Saint-Quentin, Labor Add to Reading List Source URL: www.cits.rub.de Language: English - Date: 2012-05-23 11:45:44 Coding theory Mathematics Functional languages Finite fields Discrete mathematics Q Regression analysis Linear code Matrix Parity-check matrix Software engineering Estimation theory
168	02157 Functional Programming - Sequences Add to Reading List Source URL: www.imm.dtu.dk Language: English - Date: 2013-01-17 17:31:17 Software engineering Computer programming Programming language theory Functional languages Lazy evaluation Functional programming Evaluation strategy Technical University of Denmark Haskell Closure Q
169	ADT: FAQ Manager Version 1.0 Functional Specification Author Version Add to Reading List Source URL: www.extropia.com Language: English - Date: 2003-08-09 07:27:15 Software engineering Computing Software Scripting languages Form HTML World Wide Web Email JavaScript
170	Project No : FP7Project Acronym: Add to Reading List Source URL: envisage-project.eu Language: English - Date: 2015-10-04 09:25:43 Software engineering Computing Computer programming Cross-platform software Concurrent programming languages Object-oriented programming languages Procedural programming languages Functional languages Haskell Java Go D

UPDATE